J. Roger Hindley

J. Roger Hindley
Born	1938 (1938)
Fields	Logic, Type theory
Institutions	Swansea University
Alma mater	Queen's University Belfast
Doctoral advisor	Ronald Harrop
Known for	Hindley–Milner type inference algorithm

J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University.^[1]

Education

Hindley graduated in 1960 from Queen's University Belfast, remaining to earn a M.Sc. in 1961.

He went on to receive a Ph.D. in 1964 from University of Newcastle upon Tyne, where his thesis supervisor was Ronald Harrop. Later, he returned to Queen's University for a D.Sc. in 1991.

Selected publications

Hindley, J. Roger (1969), "The principal type scheme of an object in combinatory logic", Transactions of the American Mathematical Society (American Mathematical Society) 146: 29–60, doi:10.2307/1995158, JSTOR 1995158, MR 0253905 .

Hindley, J. Roger (2008), Basic simple type theory (2nd ed.), Cambridge University Press, ISBN 0521054222, 9780521054225, http://books.google.com/?id=nDvFIwAACAAJ, retrieved June 22, 2009 .

References

^ Hindley's Swansea homepage

Persondata
Name	Hindley, J. Roger
Alternative names
Short description
Date of birth	1938
Place of birth
Date of death
Place of death